What type of PR is this?

• API-change
• BUG
• Improvement
• Documentation
• Feature
• Test and CI
• Code Refactoring

Which issue(s) this PR fixes:

issue #25215

What this PR does / why we need it:

参数类型规则

类型分类

• nonbinary string：CHAR、VARCHAR、TEXT；ENUM 在本函数入口规范为 VARCHAR。
• binary string：BINARY、VARBINARY、BLOB。
• date-bearing temporal：DATE、DATETIME、TIMESTAMP。
• supported temporal：date-bearing temporal 加 TIME、YEAR。
• numeric：整数、无符号整数、FLOAT、DECIMAL；BIT 按 numeric source 处理。

INTERVAL、GEOMETRY/GEOMETRY32、SET 等不在本次 resolver 支持域。它们参与混合调用时
直接失败，不能因为另一个参数是 temporal 或 JSON 而进入特殊 overload。ENUM 是例外：
在所有分支前规范为 nonbinary VARCHAR，复用现有 ENUM -> VARCHAR cast。已有 executor
支持的 UUID、ROWID、array_float32、array_float64 保留同 Oid 直通行为；这些类型的
混合组合仍不支持。

决议结果

resolver 对全部非 T_any 参数一次性产生以下结果：

resultType        对外返回类型
comparisonMode    numeric / text / binary / packed-date
temporalItemType  packed temporal 比较及 varlen 格式化依据；非 temporal 模式为空
castTypes         每个参数的 binder cast 目标
overloadID        普通或 temporal 专用执行器

优先级矩阵

按下表从上到下匹配，第一个命中的规则就是最终规则，不再继续向下匹配。所有“其余
参数”均指去除 T_any 后的其他参数。可以先按下面的顺序理解：

优先级决策图

GREATEST/LEAST(inputs)
|
|-- 去除 T_any 后没有参数?
|   `-- 是: VARCHAR NULL result
|
|-- 全部非 NULL 参数都是 JSON?
|   `-- 是: 全部 -> VARCHAR, text compare, normal overload
|
|-- 全部非 NULL 参数 Oid 相同且不是 JSON?
|   |
|   |-- 该 Oid 有普通 executor case?
|   |   `-- 否: 参数类型错误
|   |
|   `-- 是:
|       |
|       |-- DECIMAL / TIME / DATETIME / TIMESTAMP metadata 不同?
|       |   |
|       |   |-- 可以构造共同 type?
|       |   |   `-- 是: 全部 cast 到共同 type, normal overload
|       |   |
|       |   `-- 否（仅 DECIMAL 精度超过 DECIMAL256）:
|       |       全部 cast 到 FLOAT64, normal overload
|       |
|       `-- 否: 保留原 type, normal overload
|
|-- 含 INTERVAL / GEOMETRY / UUID / ROWID / ARRAY / DATALINK 等不支持的混合 Oid?
|   `-- 是: 参数类型错误
|
|-- 含 JSON?
|   |
|   |-- 同时含 DATE / DATETIME / TIMESTAMP?
|   |   `-- 是: json-temporal, packed-date, result VARCHAR
|   |
|   |-- 含 BLOB / BINARY / VARBINARY，或 JSON + DATE + TEXT 等未覆盖组合?
|   |   `-- 是: 参数类型错误
|   |
|   `-- 否: JSON text 子矩阵
|       |-- 有 TEXT: result TEXT
|       `-- 其余允许 peer: result VARCHAR
|
|-- 含 DATE / DATETIME / TIMESTAMP?       <-- 压过 YEAR + numeric
|   `-- 是: temporal 子矩阵, packed-date
|       result = DATETIME / VARCHAR / TEXT / BLOB / VARBINARY（由 peer family 决定）
|
|-- 含 YEAR 且其余全部 numeric / BIT?
|   `-- 是: year-numeric overload, YEAR 保留 T_year, result = common numeric type
|
|-- 全部 numeric / BIT?
|   `-- 是: common numeric type, numeric compare
|
|-- 剩余 temporal + string/binary，或无 temporal 的 string/binary family?
|   `-- TEXT > CHAR/VARCHAR > BLOB > BINARY/VARBINARY
|       result = TEXT / VARCHAR / BLOB / VARBINARY
|
`-- 其他: 参数类型错误

读图时最容易错的两点：JSON 在普通 string/binary 规则前被截获；DATE/DATETIME/TIMESTAMP
在 YEAR + numeric 前被截获。TIME 本身不是 date-bearing temporal，因此
GREATEST(TIME '10:00:00', 2) 会继续走 text，而不是 packed-date。

1. 先跳过 NULL literal；全是 NULL 直接返回 NULL。
2. 纯 JSON 先处理，避免 JSON 落进同 Oid 快路径。
3. 非 JSON 先过滤 executor 不支持的类型；即使两个参数 Oid 相同也不能放行。
4. 只要有 JSON，优先只在 JSON 子矩阵中决议，不能继续落入普通 string/binary 规则。
5. 没有 JSON 时，只要有 date-bearing temporal（DATE/DATETIME/TIMESTAMP），优先进入
   packed-date 子矩阵；它会压过 YEAR + numeric 和普通字符串规则。
6. 没有 date-bearing temporal 时，才区分纯 numeric、YEAR + numeric、TIME + peer，以及
   最后的 text/binary family。

例如 GREATEST(CAST(2020 AS YEAR), DATE '2020-01-01', 1) 在第 5 步命中
date-bearing temporal 规则，1 会先转成字符串并按已选的 DATE 类型解析；它不会进入后面的
YEAR + numeric 规则。相反，GREATEST(CAST(2020 AS YEAR), 1999) 没有 date-bearing temporal，
才会命中 year-numeric 规则。

具体约束如下：

1. 纯 JSON 特殊规则优先于同 Oid 快路径；JSON 与日期类 temporal 使用独立
   json-temporal overload，保留 JSON 来源。
2. 同 Oid 快路径只保留已有 executor 明确支持的非 JSON Oid。INTERVAL、GEOMETRY
   等即使全部参数同 Oid 也必须在分派前拒绝，不能落入普通 executor 的
   panic("unreached code")。DECIMAL、TIME、DATETIME、TIMESTAMP 的 Width/Scale
   不同时，不属于无 cast 快路径，必须先做 metadata alignment。若 DECIMAL 共同精度超过
   DECIMAL256，与普通 numeric resolver 一致，全部转 FLOAT64，不能退回第一个
   DECIMAL type。
3. 所有 packed-date 分支保留全部 temporal 参数的原 Oid，并将所有非 temporal
   参数转换为其矩阵目标字符串类型。这样 JSON + DATE + BIGINT 在 checkFn、retType
   和 executor 重建 resolver 时得到相同的参数类型。
4. 在纯 JSON 特殊处理之后、任何非 JSON 同 Oid 或混合分支前，先将 ENUM 规范为
   VARCHAR，再识别本函数没有 executor 的 Oid。INTERVAL、GEOMETRY、GEOMETRY32、
   SET 等直接失败；UUID、ROWID、DATALINK、
   array_float32、array_float64 仅保留已有 executor 支持的同 Oid 调用。
5. 首期不扩展通用 JSON -> BLOB/BINARY/VARBINARY cast；因此 JSON 与 binary string
   family 的混合调用直接拒绝，不进入 binary compare 域。
6. 只要同时存在 date-bearing temporal 和 YEAR，按 date-bearing temporal mixed
   处理；YEAR 保留 temporal Oid，numeric/BIT peer 转字符串，不再进入
   YEAR + numeric/BIT 的 numeric resolver。

packed temporal 的 temporalItemType 按 DATETIME > TIMESTAMP > DATE > TIME > YEAR
选择，独立于 resultType。例如 DATE + TIME 的 resultType 是 DATETIME，但
temporalItemType 是 DATE。

数字与 nonbinary string 混合按文本比较，例如 '10' 与 2 比较为 '10' 与 '2'。
JSON 规则在“同 Oid 直接成功”之前，因此 JSON + JSON 也不会让 T_json 进入现有
leastFn / greatestFn 的通用分支。

三个容易混淆的优先级对照：

temporal / JSON 处理边界

JSON

• MatrixOne 已有 JSON -> VARCHAR cast，JSON string 会去掉外层引号，其他 JSON 值
  输出其 JSON 文本表示。需要 JSON 文本输入的矩阵分支复用该转换。这与 MySQL 普通
  JSON item 的 val_str() 不完全相同：MySQL 源码路径使用 JSON serialized text，
  JSON string 会保留外层引号。该差异在本方案中作为已知差异保留。
• MySQL 的 JSON comparison warning 不实现，也不为此改造 MatrixOne 的 builtin warning
  基础设施。
• JSON 与日期类 temporal 的局部 cast，以及 INTERVAL、binary string family 等拒绝
  规则均由“优先级矩阵”定义。首期不为本函数新增 JSON -> BLOB/BINARY/VARBINARY
  通用 cast，避免扩大变更面并避免混淆 JSON 文本字节与 MatrixOne 内部 ByteJson 编码。

temporal 混合处理

参考 MySQL 的 Item_func_min_max，非 JSON temporal 混合由
resolveLeastGreatestType() 选择 leastGreatestTemporalFn()；JSON 日期混合由
leastGreatestJSONTemporalFn() 选择同一个 packed-date 执行 helper。两种 overload
共享 temporal item 的计算和逐行 packed 比较，但 JSON overload 不从 binder 后的参数
类型重新归并 resultType。

运行期逐行比较：非 JSON temporal overload 从 binder 完成局部 cast 后的参数 vector
重建 resolution。json-temporal overload 仅从参数 vector 重建 temporal item 和
packed-date 比较；其返回类型固定为 VARCHAR。

• packed-date 模式下，DATE、DATETIME、TIMESTAMP、TIME、YEAR 都必须能转换为
  packed datetime。DATE、DATETIME、TIMESTAMP 直接取其 packed 值；TIME 使用
  语句开始时间在会话时区中的日期补齐（与 MySQL time_to_datetime() 一致），不能调用
  使用即时 UTC 日期的通用 Time.ToDatetime()；YEAR 转为该年的 1 月 1 日。字符串、JSON
  文本和 binary/BLOB 字节按 temporalItemType 指定的唯一目标类型解析。
• 无 fallback 约束：resolver 确定 temporalItemType 后，执行器只能调用该类型对应的
  cast/parse；该转换失败立即返回错误，不能继续尝试其他 temporal 类型。例如最高优先级为
  DATE 时，'1' 必须按 DATE 解析并报错，不能在 DATE 失败后改按 TIME 解析为
  00:00:01，更不能补成查询当天的 DATETIME。TIME 解析仅在已选目标为 TIME 时允许。
• 若最高优先级 temporal item 是 DATE、DATETIME 或 TIMESTAMP，按 MySQL
  compare_as_dates() 的 packed-value 比较模型，对本行每个参数取得 packed datetime。
• 任一参数不能转换为 packed datetime 时，立即返回 MatrixOne 现有 temporal parse 的
  invalid input 错误；不模拟 MySQL 的 warning、解析失败值 0 或原始字符串 fallback。
• 全部参数成功转换后，直接在 packed 值上选出 LEAST/GREATEST。固定 temporal result
  vector 按 resultType 写入；varlen result vector 按 temporalItemType 格式化输出。
  TIMESTAMP 的转换使用 proc.SessionInfo.TimeZone，与现有 timestamp cast 一致；session
  timezone 缺失时回退 time.Local，不能将 nil location 传给 timestamp 转换。
• 若模式不是 packed-date，按 resolver 返回的 numeric、text 或 binary 模式复用相应
  executor；TIME 和 YEAR 不被错误地提升为 DATETIME。

范围约束

只覆盖 DATE、DATETIME、TIMESTAMP、TIME、YEAR 和按 VARCHAR 处理的 ENUM；
不覆盖 INTERVAL、SET、GEOMETRY 等 MySQL 类型矩阵项。字符集/collation 的完整行为仍保持首期
限制。

首期不支持

• 完整 charset/collation。现有 MatrixOne varlen 执行器使用 bytes.Compare，首期
  只保证 ASCII 文本和原始字节场景。

已知差异

• 按本方案实现后，主流 numeric/string 混合、纯 numeric、纯 string、常见 temporal
  路径会接近 MySQL 行为；JSON 文本比较只保证复用 MatrixOne 当前 JSON -> VARCHAR
  语义，不保证逐项复刻 MySQL 的 JSON serialized text 语义。差异主要集中在 JSON string、
  边缘类型组合、错误处理、charset/collation 和返回 metadata。
• MySQL 对固定 BINARY 的返回元数据可能保留固定 binary 类型；本方案把混合
  BINARY + numeric 提升为 VARBINARY。这是有意的值语义优先：MatrixOne 若 cast
  到固定 BINARY 会补 0x00 并改变短值。该 Medium 不在本次解决范围。
• binary 转非二进制 string 时，MySQL 可按 charset/collation 报转换错误；MatrixOne
  当前不能完全复现。这属于完整 collation 支持，不在本次范围。
• JSON 转字符串时缺少 MySQL warning；本次只对结果值和错误路径对齐。
• JSON string 转字符串时，MatrixOne 当前 JSON -> VARCHAR 会去掉外层引号；MySQL
  普通 JSON item 的 val_str() 使用 JSON serialized text，JSON string 会保留外层引号。
  因此 greatest(json_extract('{"a":"2"}', '$.a'), '10') 这类 JSON string 与普通
  string 混合比较，可能与 MySQL 不一致。首期不为 GREATEST/LEAST 新增独立 JSON
  serialized text cast 路径。
• JSON + BLOB/BINARY/VARBINARY 当前拒绝。MySQL 可通过 field_type_merge 进入
  binary string 域；MatrixOne 当前 JSON cast 不支持 binary family，本次不扩展通用
  cast。
• JSON + 日期类 temporal 与 TEXT、BLOB、BINARY/VARBINARY 的多域组合当前拒绝。
  MySQL 可继续通过 field-type merge 支持这些组合；本次为避免 JSON-temporal 的返回类型、
  text 域和 binary 域同时分叉而明确不覆盖。
• 无 date-bearing temporal 参与时，YEAR + numeric/BIT 通过函数专用 year-numeric
  overload 将 YEAR 作为四位无符号 numeric source 归并，以保证值范围；返回类型不保证
  逐项复刻 MySQL field_type_merge 对 YEAR 的元数据。若同时存在 date-bearing temporal，
  则按 packed-date 规则处理，不走该 numeric 分支。
• temporal 的输入解析复用 MatrixOne 的 ParseDateCast、ParseDatetime、ParseTime
  与 ParseTimestamp；其宽松格式、零日期和 warning 行为仍可能与 MySQL 不同。无效
  日期在本函数中直接返回 invalid input，不实现 MySQL 的 warning/packed-0/
  字符串 fallback 语义。
• MySQL 字符串比较受 charset/collation 影响；MatrixOne 首期 varlen 比较使用
  bytes.Compare。ASCII 普通字符串基本可对齐，非 ASCII、大小写不敏感 collation 和特殊
  排序规则可能不同。
• MySQL 的 LONG_BLOB、固定 BINARY、charset/collation 等返回 metadata 不逐项复刻；
  MatrixOne 使用 BLOB、VARBINARY、VARCHAR、TEXT 等近似类型，值语义优先。

行为差异评估

首期目标覆盖下列 MySQL 兼容核心路径，预期与 MySQL 行为差异不大：

greatest('10', 2);        -- 按字符串比较
least('10', 2);
greatest(10, 2);          -- 按数字比较
greatest('10', '2');      -- 按字符串比较
greatest(date_col, varchar_col);  -- varchar 可转日期时按 packed temporal 比较
greatest(json_col, varchar_col);  -- 复用 MatrixOne 当前 JSON -> VARCHAR 语义后比较
greatest(json_col, date_col);     -- JSON 文本可转日期时按 temporal 比较

不追求完全复刻 MySQL 的路径：

greatest(json_col, cast('x' as binary)); -- MatrixOne 首期拒绝
greatest(json_col, blob_col);            -- MatrixOne 首期拒绝
greatest(cast('2020-01-01' as date), 'not-a-date'); -- MatrixOne 返回 invalid input

因此，如果目标是修复普通 numeric/string 混合、常见 temporal、MatrixOne 现有 JSON
文本转换语义下的比较，方案与 MySQL 的行为差异可控；如果目标是完整复刻 MySQL 全类型
矩阵、JSON serialized text、collation、warning/fallback 和结果 metadata，则还需要更大
范围改造。